For the problem of propositional satisfiability a polynomial algorithm of limited propositional deduction is proposed wh......

Truth-functionality is the most important concept in propositional logic.Some compound propositions are truth-functional......

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的......

Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the t......

在汉语研究的历程中,四字词语可谓受到广泛关注。但在分析某些四字词语可独立成句这个语法现象上,目前还缺少一定的探索。因此,本......

Cordial Volterra integral equations (CVIEs) from some applications models associated with a noncompact cordial Volterra ......

Previous studies interpreting the meanings of the sentence-final particle“LE”displayed two trends:either excessively c......

The classical propositional calculus(often called also as“zero-order logic”),is the most fundamental two-valued logica......